منابع مشابه
Non-restrictive computational reflection
Adaptable software systems and architectures give the programmer the ability to create applications that might customize themselves to runtime-emerging requirements. Computational reflection is a programming language technique that is commonly used to achieve the development of this kind of systems. Most runtime reflective systems use meta-object protocols (MOPs). However, MOPs restrict the amo...
متن کاملCompositional Computational Reflection
Current work on computational reflection is single-minded; each reflective procedure is written with a specific application or scope in mind. Composition of these reflective procedures is done by a proofgenerating tactic language such as Ltac. This composition, however, comes at the cost of both larger proof terms and redundant preprocessing. In this work, we propose a methodology for writing c...
متن کاملRestrictive vs. non-restrictive composition: a magnetoencephalography study
Recent research on the brain mechanisms underlying language processing has implicated the left anterior temporal lobe (LATL) as a central region for the composition of simple phrases. Because these studies typically present their critical stimuli without contextual information, the sensitivity of LATL responses to contextual factors is unknown. In this magnetoencephalography (MEG) study, we emp...
متن کاملComputational Reflection and CSCW Design
Designing computer systems to support collaborative work is hard. One of the major reasons for this is the requirement that such systems be flexible, able to adapt themselves to different users or groups, able to track changes in group behaviour over time, and able to function efficiently in different computational and infrastructural environments. For the designer of a toolkit for building CSC...
متن کاملReflection principles in computational logic
Dell'Acqua, P. 1998: Re ection Principles in Computational Logic, Uppsala Theses in Computing Science 30. 154pp. Uppsala. ISSN 0283-359X, ISBN 91-5061298-0. We introduce the concept of re ection principles as a knowledge representation paradigm in a computational logic setting. Re ection principles are expressed as certain kinds of logic schemata intended to capture the basic properties of the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer Standards & Interfaces
سال: 2003
ISSN: 0920-5489
DOI: 10.1016/s0920-5489(02)00095-8